Image from using the
AbstractAlgebra
package
Illustration of how 7 {0, 4} is the coset {3, 7} in Z_8.